perm filename SCOTT[W84,JMC] blob sn#741956 filedate 1984-02-05 generic text, type C, neo UTF8
COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	scott[w84,jmc]		Correction to Scott, CUCH, ISWIM and OWHY
C00003 ENDMK
C⊗;
scott[w84,jmc]		Correction to Scott, CUCH, ISWIM and OWHY

His discreteness axiom might be corrected to

Phi(bottomi/xi),Phi,yi≤xi infers Phi(yi/xi)

where the i indicates that the axiom is restricted to the
domain of individuals.